<html>
<head><meta charset="utf-8"><title>refactor the unsafe checking to work on t… compiler-team#402 · t-compiler/major changes · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/index.html">t-compiler/major changes</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html">refactor the unsafe checking to work on t… compiler-team#402</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="223572546"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/223572546" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#223572546">(Jan 21 2021 at 21:25)</a>:</h4>
<p>A new proposal has been announced: <a href="https://github.com/rust-lang/compiler-team/issues/402">refactor the unsafe checking to work on the THIR #402</a>. It will be announced at the next meeting to try and draw attention to it, but usually MCPs are not discussed during triage meetings. If you think this would benefit from discussion amongst the team, consider proposing a design meeting.</p>



<a name="223572586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/223572586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#223572586">(Jan 21 2021 at 21:25)</a>:</h4>
<p>Note: assuming we decide to do this, I'd want to work with someone on the implementation.</p>



<a name="223582036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/223582036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#223582036">(Jan 21 2021 at 22:47)</a>:</h4>
<p>That seems… reasonable enough.</p>



<a name="223582046"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/223582046" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#223582046">(Jan 21 2021 at 22:47)</a>:</h4>
<p>(the proposal, I mean)</p>



<a name="223582137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/223582137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#223582137">(Jan 21 2021 at 22:48)</a>:</h4>
<p>Though it seems to me that we aren't necessarily constrained to checking unsafe in one place</p>



<a name="223582160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/223582160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#223582160">(Jan 21 2021 at 22:48)</a>:</h4>
<p>if there are still things that make sense to check in MIR, I don't see why we wouldn't keep it that way.</p>



<a name="223614805"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/223614805" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#223614805">(Jan 22 2021 at 08:36)</a>:</h4>
<p>the linked issue (<a href="https://github.com/rust-lang/rust/issues/80059">https://github.com/rust-lang/rust/issues/80059</a>) is not about dead code afaict, so the description confused me a bit here</p>



<a name="223614911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/223614911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#223614911">(Jan 22 2021 at 08:38)</a>:</h4>
<p>I do have to admit that there are other reasons I like doing unsafety checking on the THIR beyond that the code becomes simpler and we get a tree like checking: unsafety checking accesses to (extern) static (mut) items finally becomes non-hacky again</p>



<a name="223615224"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/223615224" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#223615224">(Jan 22 2021 at 08:43)</a>:</h4>
<p>Regarding packed fields, note that "borrowing the fields of packed structs" is not (just) unsafe, it is UB. It should not be allowed anywhere. The only reason we permit it is past mistakes and backwards compatibility. Also see <a href="https://github.com/rust-lang/rust/issues/27060">https://github.com/rust-lang/rust/issues/27060</a>.</p>



<a name="223615252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/223615252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#223615252">(Jan 22 2021 at 08:43)</a>:</h4>
<p>Once <a href="https://github.com/rust-lang/rust/pull/72270">https://github.com/rust-lang/rust/pull/72270</a> is made an err-by-default future-incompat lint, unsafety checking will not have to be concerned with borrows of packed fields any more.</p>



<a name="223615337"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/223615337" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#223615337">(Jan 22 2021 at 08:44)</a>:</h4>
<blockquote>
<p>unsafety checking accesses to (extern) static (mut) items finally becomes non-hacky again</p>
</blockquote>
<p>arguably that's a definiciency of the way we represent statics in MIR (and IIRC we had some ideas for improvements?)</p>



<a name="223615378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/223615378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#223615378">(Jan 22 2021 at 08:45)</a>:</h4>
<p>That said, MIR is just not a very safe language -- e.g. indexing and division can raise UB, so a "proper" safety check would have to ensure that the appropriate bounds and null-checks have been done before the operation</p>



<a name="223706445"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/223706445" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#223706445">(Jan 22 2021 at 21:56)</a>:</h4>
<blockquote>
<p>I would be happy to mentor, but I am looking for someone to do the implementation work!</p>
</blockquote>
<p>I had a little bit of free time today and I was kind of curious, so I read some docs and tinkered around with the code. I could maybe help with the implementation if needed?</p>



<a name="223810945"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/223810945" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#223810945">(Jan 24 2021 at 12:08)</a>:</h4>
<p>So, where do I have to put <a href="#narrow/stream/233931-t-compiler.2Fmajor-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402/near/223615224">comments like this</a> to make sure they do not get lost?</p>



<a name="224077555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/224077555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#224077555">(Jan 26 2021 at 17:56)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@Léo Lanteri Thauvin</span> that would be most welcome!</p>



<a name="224077574"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/224077574" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#224077574">(Jan 26 2021 at 17:56)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span> sounds like you would be willing to second :)</p>



<a name="224077611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/224077611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#224077611">(Jan 26 2021 at 17:56)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> I will update the mcp issue</p>



<a name="224077667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/224077667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#224077667">(Jan 26 2021 at 17:57)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="492">@T-compiler</span>: Proposal <a href="https://github.com/rust-lang/compiler-team/issues/402#issuecomment-767719858">#402</a> has been seconded, and will be approved in 10 days if no objections are raised.</p>



<a name="224182799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/224182799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#224182799">(Jan 27 2021 at 13:50)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/233931-t-compiler.2Fmajor-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402/near/224077611">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="120791">RalfJ</span> I will update the mcp issue</p>
</blockquote>
<p>thanks!</p>
<p>to be clear, what I meant by this comment is that unsafety checking (long-term) need not be concerned with borrows-to-packed-fields. so "we want to enforce some condition on borrows" is not a good argument, since it's not something unsafety checking should even be doing.</p>



<a name="224343490"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/224343490" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#224343490">(Jan 28 2021 at 15:38)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@Léo Lanteri Thauvin</span> are you still interested in working on this? We should find a time to sync up a bit and share context</p>



<a name="224343566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/224343566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#224343566">(Jan 28 2021 at 15:39)</a>:</h4>
<p>That would be awesome :)</p>



<a name="224346079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/224346079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#224346079">(Jan 28 2021 at 15:54)</a>:</h4>
<p>What probably works is to try and do a 1h sync meeting over zoom -- presuming voice is ok for you -- that we can record</p>



<a name="224346276"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/224346276" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#224346276">(Jan 28 2021 at 15:56)</a>:</h4>
<p>That would work for me <span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="224346600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/224346600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#224346600">(Jan 28 2021 at 15:58)</a>:</h4>
<p>I usually have more time on Wednesdays and Thursdays, if it helps</p>



<a name="225546153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/225546153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#225546153">(Feb 08 2021 at 13:49)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Friendly ping, just in case you forgot</p>



<a name="225546217"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/225546217" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#225546217">(Feb 08 2021 at 13:50)</a>:</h4>
<p>This is not urgent by any means however, so if you don't have time, just tell me so, I can wait :D</p>



<a name="225546226"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/225546226" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#225546226">(Feb 08 2021 at 13:50)</a>:</h4>
<p>Hi :)</p>



<a name="225546233"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/225546233" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#225546233">(Feb 08 2021 at 13:50)</a>:</h4>
<p>Thanks for the reminder.</p>



<a name="225818978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20the%20unsafe%20checking%20to%20work%20on%20t%E2%80%A6%20compiler-team%23402/near/225818978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20the.20unsafe.20checking.20to.20work.20on.20t.E2.80.A6.20compiler-team.23402.html#225818978">(Feb 10 2021 at 10:49)</a>:</h4>
<p>This proposal has been accepted: <a href="https://github.com/rust-lang/compiler-team/issues/402">#402</a>.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>